In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

Ausgangspunkt ist die Frage, was Masse ist, wodurch sie insbesondere befähigt ist, Dauer zu konstituieren und deshalb - im Sinn des kinematischen Relativitätsprinzips - ebenso als bewegt wie als ruhend betrachtet werden kann. In einem Gedankenexperiment wird diese Frage, in Umkehrung der Perspektive, hier nicht von der Masse selbst, sondern von einer stehenden Lichtwelle her angegangen. In diesem Modell lassen sich masse-analoge Strukturen rekonstruieren, die in relativer Bewegung sein können. Die (empirisch bekannte) Unabhängigkeit der Lichtgeschwindigkeit vom Bezugssystem ist dabei nicht (...) vorausgesetzt. Doch kann gezeigt werden, dass die Lichtgeschwindigkeit Grenzgeschwindigkeit solcher relativer Bewegungen ist, dass dies für alle durch masse-analoge Strukturen konstituierte, relativ zueinander gleichförmig bewegten Bezugssysteme gilt und dass die Lichtgeschwindigkeit selbst in allen diesen Systemen gleich ist. Die Absolutheit der Lichtgeschwindigkeit und die Relativität der Massebewegungen erweisen sich so als zwar differente, aber intrinsisch zusammengehörende Momente des kinematischen Relativitätsprinzips: ein Beitrag zu einer Philosophie der Relativitätstheorie. - Die mathematischen Zusammenhänge werden im Anhang ausführlicher dargelegt. (shrink)

This paper makes an important contribution to the ongoing debate over the validity of the psychological construct, ADHD. While not ruling out the possibility that something of value may lie at the core of this diagnosis, the authors articulate a clear set of problems with the research logic that forms the foundation of the disorder itself, reaching the conclusion that there appears to be insuffi cient, valid scientifi c evidence for the demarcation of a coherent and independent disease entity.

Some cognitive processes appear to have “phenomenal” properties that are directly revealed to the subject and not determined by physical properties. I suggest that the source of this appearance is the method by which our brain processes sensory information. The appearance is an illusion. Nonetheless, we are not mistaken when we judge that people sometimes fee lpain.

Suatu pagi di musim panas, desa burung diselimuti keheningan. Semua orang sibuk mendengarkan pengembara baru. Burung pengembara ini berasal dari keluarga yang tidak jelas; bulunya berwarna-warni, gerak-geriknya lucu, dan ilmunya baru. Dia bercerita seolah-olah sedang memberi ceramah, tepat sekali, warga desa memanggilnya burung Guru – orang yang menjawab setiap pertanyaan aneh warga desa yang rajin belajar. Burung pelatuk telah belajar menangkap cacing di sore hari, sehingga mereka tidak perlu bangun pagi. Burung pipit sekarang tahu cara mencuri beras dari gudang saat (...) sawah mulai kering. Bulbul, sementara itu, telah mengambil kesempatan berkumpul untuk memamerkan kecantikan dan fashion mereka… . (shrink)

Smarandache in 2019 has generalized the algebraic structures to NeutroAlgebraic structures and AntiAlgebraic structures. In this paper, authors, for the first time, define the NeutroAlgebra of neutrosophic triplets group under usual+ and x, built using {Zn, x}, n a composite number, 5 < n < oo, which are not partial algebras. As idempotents in Zn alone are neutrals that contribute to neutrosophic triplets groups, we analyze them and build NeutroAlgebra of idempotents under usual + and x, which are not partial (...) algebras. We prove in this paper the existence theorem for NeutroAlgebra of neutrosophic triplet groups. This proves the neutrals assocaited with neutrosophic triplet groups in { Zn, X} under product is a NeutroAlgebra of triplets. We also prove the non-existence theorem of NeutroAlgebra for neutrosophic triplets in case of Zn when n = 2p, 3p and 4p (for some primes p). Several open problems are proposed. Further, the NeutroAlgebras of extended neutrosophic triplet groups have been obtained. (shrink)

Hegel often says that his "logic" is meant to replace metaphysics. Since Hegel's Science of Logic is so different from a standard logic, most commentators have not treated the portion of that work devoted to logical forms as relevant to this claim. This paper argues that Hegel's discussion of logical forms of judgment and syllogism is meant to be the foundation of his reformation of metaphysics. Implicit in Hegel's discussion of the logical forms is the view that the metaphysical concepts (...) discussed in Books I and II of the Science of Logic supervene on the role of subject and predicate terms in the logical forms discussed in Book III. Hegel thus has an explanation for the nature and significance of metaphysical concepts that resembles Kant's "metaphysical deduction," according to which the categories can be derived from the table of judgments. Though Hegel's metaphysics is often supposed to be influenced by Kant, prevailing interpretations do not show how Hegel's fine-grained treatment of logical forms is relevant to his critical view of metaphysics. The present interpretation provides a model for Hegel's explanation of metaphysical concepts, as well as a new picture of the structure of his Science of Logic that emphasizes the priority of its Doctrine of the Concept. (shrink)

I offer a line of argument that aims at the conclusion that the notion of radically different and incommensurable systems of value is incoherent, which would mean that the presumption of some significant common ground of valuation is rationally required in value inquiry.

It is commonly assumed that the expression “an sich selbst” (“in itself”) in Kant combines with terms to form complex nouns such as “thing in itself” and “end in itself.” I argue that the basic use of “an sich selbst” in Kant’s German is as a sentence adverb, which has the role of modifying subject-predicate combinations, rather than either subject or predicate on their own. Expressions of the form “S is P an sich selbst” mean roughly that S is P (...) ‘in its own right’ or without some further ‘condition’. Accordingly, “an sich selbst” should not be treated as forming complex nouns. This analysis has significant consequences for the interpretation of “thing in itself” in particular, for it implies that the latter is not a complete nominal expression. Instead, one must treat ‘an sich selbst’ as expressing how some S is a ‘thing’, looking to the wider sentential context. I conclude with a brief account of the new significance granted to the concept of a ‘thing’ (Ding) according to the present interpretation. (shrink)

Nudging works through dispositions to decide with specific heuristics, and has three component parts. A nudge is a feature of an environment that enables such a disposition; a person is nudged when such a disposition is triggered; and a person performs a nudged action when such a disposition manifests in action. This analysis clarifies an autonomy-based worry about nudging as used in public policy or for private profit: that a person’s ability to reason well is undermined when she is nudged. (...) Reasoning well is a component of self-guidance, which is an aspect of autonomy and so something there is reason to promote, preserve, or respect. However, a person can reason well when she is nudged: Many of these heuristics are good rules to reason with, and she can be flexible with respect to them when she takes there to be a better way to reason. Along the way, this paper uncovers several design specifications for responsible nudging, and discusses open empirical questions. However, nudging’s being compatible with reasoning well crystallizes a distinct worry about manipulation: that nudge designers can rely on nudged people guiding themselves toward the designers’ own ends. Manipulation of this sort exploits one aspect of autonomy (namely, self-guidance) to undermine autonomy in other respects. (shrink)

As automating technologies are increasingly integrated into workplaces, one concern is that many of the human workers who remain will be relegated to more dull and less positively impactful work. This paper considers two rival theories of meaningful work that might be used to evaluate particular implementations of automation. The first is achievementism, which says that work that culminates in achievements to workers’ credit is especially meaningful; the other is the practice view, which says that work that takes the form (...) of an open-ended practice is especially meaningful. Of the two, the practice view is the better tool for assessing the future of meaningful work, because achievementism is explanatorily inadequate in two ways. Moreover, the practice view can explain why the most meaningful forms of work cannot be automated. A procedure can only be automated as long as the steps are defined, whereas, in such work, which steps to take is indefinitely open to redefinition. This reveals the real threat to meaningful work to be a political-economic one. The relevant ethical questions there have to do with how much creative control workers retain in crafting their own jobs, when those jobs involve meaningful work in collaboration with machines; and how to liberate workers from jobs that do not involve meaningful work, which should be left to machines anyway. (shrink)

This book extends the concept of linguistic coordinate geometry using linguistic planes or semi-linguistic planes. In the case of coordinate planes, we are always guaranteed of the distance between any two points in that plane. However, in the case of linguistic and semi-linguistic planes, we can not always determine the linguistic distance between any two points. This is the first limitation of linguistic planes and semi-linguistic planes.

European Journal of Philosophy, Volume 29, Issue 4, Page 1026-1038, December 2021.

ArgumentIn the United States, scientific knowledge is brought before the courts by way of testimony – the testimony of scientific experts. We argue that this expertise is best understoodfirstas related to the quality of the underlying scienceand thenin terms of who delivers it. Bloodstain pattern analysis (BPA), a contemporary forensic science, serves as the vaulting point for our exploration of objectivity as a metric for the quality of a science in judicial contexts. We argue that BPA fails to meet the (...) minimal standard set by Helen Longino’s social-procedural account of objectivity (1990, 2002). In light of some pressing issues for social-procedural accounts, we offer an infrastructural account of objectivity. This account offers what amounts to a friendly amendment to Longino’s account and adds to the ways in which we might analyze social-procedural objectivity. Finally, we address an issue that is pressing in the legal context: given that scientific knowledge is delivered by individuals, not communities, at least in U.S. courts, we (may) need a way to evaluate individual scientific and epistemic agents. We suggest a means for making this evaluation that is derived from our infrastructural account of objectivity. (shrink)

In this paper, I contest increasingly common "realist" interpretations of Hegel's theory of "the concept" (der Begriff), offering instead a "isomorphic" conception of the relation of concepts and the world. The isomorphism recommended, however, is metaphysically deflationary, for I show how Hegel's conception of conceptual form creates a conceptually internal standard for the adequacy of concepts. No "sideways-on" theory of the concept-world relationship is envisioned. This standard of conceptual adequacy is also "graduated" in that it allows for a lack of (...) fit between concept and world. The possibility for a "maximally isomorphic" fit between concept and world obtains through the teleological realization of concepts, which marks especially the "artificial" world of human culture (law, art, religion, etc.). Some of the most seemingly exaggerated claims Hegel makes about the concept, I contend, can be understood when we consider the significance Hegel ascribes to human making, which is provided for in his conceptual theory. But my framework provides an interpretive key for the way Hegel sees concepts imperfectly realized in the natural world as well. (shrink)

While the idea of philosophy as conceptual analysis has attracted many adherents and undergone a number of variations, in general it suffers from an authority problem with two dimensions. First, it is unclear why the analysis of a concept should have objective authority: why explicating what we mean should express how things are. Second, conceptual analysis seems to lack intersubjective authority: why philosophical analysis should apply to more than a parochial group of individuals. I argue that Hegel’s conception of social (...) ontology, focused on his concept of “ethical life” (Sittlichkeit), helps to explain how concepts (and their explication) have both objective and intersubjective authority in the social domain. Hegel claims that modern institutions are the product of self-conscious purposes, so that they are conceptually constituted. Concepts do not just represent these objects and so depend on a contingent relation to them. As many contemporary social ontologists agree, this means that our concepts of these institutions are uniquely epistemically “transparent.” They have objective authority. Concepts have intersubjective authority in the modern world as well, according to Hegel. However, I show that this feature of Hegel’s account does not rely on the solution to a philosophical problem. Rather, since the concepts of modern ethical life are “essentially contested,” their content depends on the practical and political agreement of modern subjects. This means that concepts can only have objective authority if some prior intersubjective agreement has been reached. The role of philosophy as conceptual analysis is thus importantly dependent on political developments. (shrink)

In the Transcendental Aesthetic (TA), Kant is typically held to make negative assertations about “things in themselves,” namely that they are not spatial or temporal. These negative assertions stand behind the “neglected alternative” problem for Kant’s transcendental idealism. According to this problem, Kant may be entitled to assert that spatio-temporality is a subjective element of our cognition, but he cannot rule out that it may also be a feature of the objective world. In this paper, I show in a new (...) way how Kant’s view (focusing on his conclusions about space) is not subject to this objection, by showing that he does not make the denial about mind-independent reality that he is typically held to make. The argument develops consequences of a new reading of Kant’s expression “an sich selbst” (‘in itself’; ‘in themselves’). I argue that “an sich selbst” or “per se” has a special, judgment-level role, so that this expression does not form new noun-terms adjectivally. It follows that the conceptual unit of Kant’s “Conclusions” in the TA is simply “things” (Dinge), since “things in themselves” is not a nominal expression; Kant adopts the Wolffian ontological use of “thing” as the basic kind-term for any existent. The arguments that things per se are not in space are arguments that space cannot be a necessary property or relations of things as a kind. I show that this does not involve the positive claim about mind-independent reality that inspires the neglected alternative objection. (shrink)

The Swiss psychologist Jean Piaget contends that children below the age of 12 see no necessity for the logical law of non-contradiction. I argue this view is problematic. First of all, Piaget's dialogues with children which are considered supportive of this position are not clearly so. Secondly, Piaget underestimates the necessary nature of following the logical law of non-contradiction in everyday discourse. The mere possibility of saying something significant and informative at all presupposes that the law of non-contradiction is enforced.

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

Tractatus Politico-Philosophicus (Political-Philosophical Treatise) of W. Julian Korab-Karpowicz proposes a new idea-system. Ideas concerning different topics related to politics are introduced. The work aims to establish the principles of good governance and of a happy society, and to open up new directions for the future development of humankind. It is also in part a critique of the epistemology of early Wittgenstein as presented in his Tractatus Logico-Philosophicus. It argues that one can speak about politics and ethics with sense, and that (...) political philosophy is still a viable enterprise for us. This explanation is provided in response to the review of Tractatus Politico-Philosophicus by Katarzyna Heremska and a critical note of Pawel Kloczowski that were both published in Argument 6(1), 2016. (shrink)

Kant’s formula of universal law (FUL) is standardly understood as a test of the moral permissibility of an agent’s maxim: maxims which pass the test are morally neutral, and so permissible, while those which do not are morally impermissible. In contrast, I argue that the FUL tests whether a maxim is the cause or determining ground of an action at all. According to Kant’s general account of causality, nothing can be a cause of some effect unless there is a law-like (...) relation between the putative cause and effect. Applied to the case of action, no maxim can be the cause of an agent’s action unless there is a law-like relation between maxims of that kind and actions of that kind. The special capacity to act according to maxims as law-like causes is what Kant calls a will; the basic constitutive principle of the will is a non-normative principle I call the categorical declarative. While the actions of a perfectly good will would be described by the categorical declarative alone, human action is determined not only by the causality of the will, but also by competing causes, namely those stemming from inclination. There is thus need for a causal test for putative maxims. The test contained in the FUL is meant to determine whether an action could be grounded solely on the agent’s maxim, or whether it requires a cause external to the will. This account permits one to build eventual distinctions concerning the morality of actions on prior and independent distinctions concerning their causality. (shrink)

A supplemental document for "Metalinguistic Gradability".

Nanotechnology, as with many technologies before it, places a strain on existing legislation and poses a challenge to all administrative agencies tasked with regulating technology-based products. It is easy to see how statutory schemes become outdated, as our ability to understand and affect the world progresses. In this article, we address the regulatory problems that nanotechnology posses for the Food and Drug Administration’s (FDA) classification structure for ‘‘drugs’’ and ‘‘devices.’’ The last major modification to these terms was in 1976, with (...) the enactment of the Medical Device Amendments. There are serious practical differences for a classification as a drug or device in terms of time to market and research. Drugs are classified, primarily, as acting by ‘‘chemical action.’’ We lay out some legal, philosophic, and scientific tools that serve to provide a useful, as well as legally and scientifically faithful, distinction between drugs and devices for the purpose of regulatory classification. These issues we raise are worth the consideration of anyone who is interested in the regulation of nano-products or other novel technologies. (shrink)

This book is a translation of W.V. Quine's Kant Lectures, given as a series at Stanford University in 1980. It provide a short and useful summary of Quine's philosophy. There are four lectures altogether: I. Prolegomena: Mind and its Place in Nature; II. Endolegomena: From Ostension to Quantification; III. Endolegomena loipa: The forked animal; and IV. Epilegomena: What's It all About? The Kant Lectures have been published to date only in Italian and German translation. The present book is filled out (...) with the translator's critical Introduction, "The esoteric Quine?" a bibliography based on Quine's sources, and an Index for the volume. (shrink)

Although Gilles Deleuze never explicitly developed what might be considered a ‘philosophy of technology’, this article nonetheless attempts to outline the rudiments of a Deleuzian approach to technology by proposing a series of interrelated concepts: (1) prosthesis (technological artefacts are externalised organs); (2) proto-technicity, or originary technicity (but this technicity already exists in Nature, all the way down, and precedes any ‘theory’); (3) exodarwinism (the fact that evolutionary time has bifurcated, and technology evolves in a faster and accelerating time scale); (...) (4) de-specialisation or de-differentiation (what conditions the externalisation of organs is their deterritorialisation); (5) motricity (the link between the brain and the hand/mouth is primarily one of movement); (6) inscription, or graphism (the link between mouth and hand takes place through phonetic writing, when the hand reproduces speech in graphic inscriptions); (7) maker's knowledge (we know the organisations of matter found in nature through the organisations of matter that we ourselves have created); and finally, (8) totipotence (like a stem cell, the body is capable of externalising an almost unlimited number of forms and functions; it is itself an abstract and the source of abstractions). (shrink)

In this book, the authors systematically define the new notion of linguistic graphs associated with a linguistic set of a linguistic variable. We can also define the notion of directed linguistic graphs and linguistic-weighted graphs. Chapter two discusses all types of linguistic graphs, linguistic dyads, linguistic triads, linguistic wheels, complete linguistic graphs, linguistic connected graphs, disconnected linguistic graphs, linguistic components of the graphs and so on. Further, we define the notion of linguistic subgraphs of a linguistic graph. However, like usual (...) graphs, we will not be able to arbitrarily connect any two linguistic words of a linguistic set associated with a linguistic variable. They can be related or adjacent depending on the linguistic variable associated with the linguistic set. This is an exceptional feature of a linguistic graph. (shrink)

The notion of linguistic geometry is defined in this book. It is pertinent to keep in the record that linguistic geometry differs from classical geometry. Many basic or fundamental concepts and notions of classical geometry are not true or extendable in the case of linguistic geometry. Hence, for simple illustration, facts like two distinct points in classical geometry always define a line passing through them; this is generally not true in linguistic geometry. Suppose we have two linguistic points as tall (...) and light we cannot connect them, or technically, there is no line between them. However, let's take, for instance, two linguistic points, tall and very short, associated with the linguistic variable height of a person. We have a directed line joining from the linguistic point very short to the linguistic point tall. In this case, it is important to note that the direction is essential when the linguistic variable is a person's height. The other way line, from tall to very short, has no meaning. So in linguistic geometry, in general, we may not have a linguistic line; granted, we have a line, but we may not have it in both directions; the line may be directed. The linguistic distance is very far. So, the linguistic line directed or otherwise exists if and only if they are comparable. Hence the very concept of extending the line infinitely does not exist. Likewise, we cannot say as in classical geometry; three noncollinear points determine the plane in linguistic geometry. Further, we do not have the notion of the linguistic area of well-defined figures like a triangle, quadrilateral or any polygon as in the case of classical geometry. The best part of linguistic geometry is that we can define the new notion of linguistic social information geometric networks analogous to social information networks. This will be a boon to non-mathematics researchers in socio-sciences in other fields where natural languages can replace mathematics. (shrink)

Algebraic structures on linguistic sets associated with a linguistic variable are introduced. The linguistics with single closed binary operations are only semigroups and monoids. We describe the new notion of linguistic semirings, linguistic semifields, linguistic semivector spaces and linguistic semilinear algebras defined over linguistic semifields. We also define algebraic structures on linguistic subsets of a linguistic set associated with a linguistic variable. We define the notion of linguistic subset semigroups, linguistic subset monoids and their respective substructures. We also define as (...) in case of deals in classical semigroups, linguistic ideals in linguistic semigroups and linguistic monoids. This concept of linguistic ideals is extended to the case of linguistic subset semigroups and linguistic subset monoids. We also define linguistic substructures. (shrink)

ABSTRACTThe close connection often cited between Hegel and Wilfrid Sellars is not only said to lie in their common negative challenges to the ‘framework of givenness,’ but also in the positive less...

This is an encyclopedia entry on consequentializing. It explains what consequentializing is, what makes it possible, why someone might be motivated to consequentialize, and how to consequentialize a non-consequentialist theory.

In this paper, I take it for granted both that there are two types of blameworthiness—accountability blameworthiness and attributability blameworthiness—and that avoidability is necessary only for the former. My task, then, is to explain why avoidability is necessary for accountability blameworthiness but not for attributability blameworthiness. I argue that what explains this is both the fact that these two types of blameworthiness make different sorts of reactive attitudes fitting and that only one of these two types of attitudes requires having (...) been able to refrain from φ-ing in order for them to be fitting. (shrink)

Pada musim semi, entah kenapa, tidak banyak ikan. Karena tangkapannya sangat tidak stabil, Pekakak mulai berpikir. Lalu membuat beberapa rencana. Dengan otoritas komandonya, dia memanggil Bangau: – Ini adalah musim penangkapan ikan yang sangat sulit. Jika kita ingin kenyang, kita harus membuat usaha patungan. Bangau mengangguk, menambahkan: - Saya setuju; mari kita beternak ikan kakap putih dan ikan mas krusia. Jenis ini berumur panjang dan sangat produktif. Pekakak dan Bangau sepakat untuk berbagi tugas beternak, dan tidak ada diskriminasi yang diizinkan. (...) Namun imbalannya berbeda: Pekakak bertanggung jawab untuk ikan kakap putih dan, dengan demikian, dapat memiliki lebih banyak ikan kakap putih, sedangkan Bangau mendapat ikan mas krusia. Siapapun yang memelihara ikan mana yang lebih banyak akan menikmati 80% dari panen akhir ikan tersebut. Keduanya akan mengevaluasi dan membagi produk ternak pada akhir musim beternak. Ini berarti mengantongi sendiri ikan hasil usaha patungan untuk diri sendiri itu dilarang. (shrink)

On what I take to be the standard account of supererogation, an act is supererogatory if and only if it is morally optional and there is more moral reason to perform it than to perform some permissible alternative. And, on this account, an agent has more moral reason to perform one act than to perform another if and only if she morally ought to prefer how things would be if she were to perform the one to how things would be (...) if she were to perform the other. I argue that this account has two serious problems. The first, which I call the latitude problem, is that it has counterintuitive implications in cases where the duty to be exceeded is one that allows for significant latitude in how to comply with it. The second, which I call the transitivity problem, is that it runs afoul of the plausible idea that the one-reason-morally-justifies-acting-against-another relation is transitive. What’s more, I argue that both problems can be overcome by an alternative account, which I call the maximalist account. (shrink)

Pekakak selama ini tinggal di gua galiannya sendiri di tepi kolam, tapi sekarang dia memutuskan bahwa dia membutuhkan rumah baru. Dia melakukan tur keliling desa untuk melihat bagaimana burung-burung lain membangun rumah mereka. Dia mengunjungi Tuan Pipit, yang tinggal di pohon pinus yang bersiul. Bagian depan bangunannya tampak indah, dan lokasinya yang tinggi memberikan ventilasi yang baik. Tapi, semakin lama dia menginap, dia jadi semakin pusing. Hembusan angin apa pun yang menerpa membuat seluruh struktur bangunan bergetar seolah-olah akan hancur berantakan.

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

In this book, the authors introduce the linguistic set associated with a linguistic variable and the structure of matrices, which they define as linguistic matrices. The authors build linguistic matrices only for those linguistic variables which yield a linguistic continuum or an ordered linguistic set. This book is organised into three chapters. The first chapter is introductory, in which we introduce all the basic concepts of linguistic variables and the associated linguistic set to make this book self-contained. Chapter two introduces (...) linguistic matrices and develops basic properties associated with them, like types of matrices, transpose of matrices and diagonal matrices. Most of the properties enjoyed by real or complex matrices are satisfied by these linguistic matrices. Chapter three deals with operations on the linguistic matrices. (shrink)

The systematic study of supermatrices and super linear algebra has been carried out in 2008. These new algebraic structures find their applications in fuzzy models, Leontief economic models and data-storage in computers.

In this paper, a modified form of Collatz conjecture for neutrosophic numbers n ∈ (Z U I) is defined. We see for any n ∈ (Z U I) the related sequence using the formula (3a + 1) + (3b + 1)I converges to any one of the 55 elements mentioned in this paper. Using the akin formula of Collatz conjecture viz. (3a- 1) + (3b -1)I the neutrosophic numbers converges to any one of the 55 elements mentioned with appropriate modifications. (...) Thus, it is conjectured that every n ∈ (Z U I) has a finite sequence which converges to any one of the 55 elements. (shrink)

Catalan translation, introductory study and notes on W. K. Clifford’s “The Ethics of Belief”. Published in Clifford, W.K. “L’ètica de la creença”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 129–150. // Catalan translation, introductory study and notes on William James’s “The Will to Believe”. Published in James, William. “La voluntat de creure”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 151–172. [Introductory study published in Oya, Alberto. “Introducció. El debat entre W. K. Clifford i William James”. Quaderns (...) de Filosofia, vol. III, n. 2 (2016), pp. 123–127]. (shrink)

There is, on a given moral view, an agent-centered restriction against performing acts of a certain type if that view prohibits agents from performing an instance of that act-type even to prevent two or more others from each performing a morally comparable instance of that act-type. The fact that commonsense morality includes many such agent-centered restrictions has been seen by several philosophers as a decisive objection against consequentialism. Despite this, I argue that agent-centered restrictions are more plausibly accommodated within a (...) consequentialist framework than within the more standard side-constraint framework. For I argue that when we combine agent-relative consequentialism with a Kantian theory of value, we arrive at a version of consequentialism, which I call 'Kantsequentialism', that has several advantages over the standard side-constraint approach to accommodating constraints. What’s more, I argue that Kantsequentialism doesn’t have any of the disadvantages that critics of consequentializing have presumed that such a theory must have. (shrink)

Traditionally, the ideas of “intuitive” and “discursive” forms of understanding have been seen as near opposites. Whereas an intuitive understanding could have a direct grasp of something, a discursive understanding would always depend on what is given to it, as mediated by concepts. In this essay, I suggest that Paul Ricoeur’s conception of analogy presents a way of overcoming this opposition. For Ricoeur, an analogy works within discursive understanding, but it depends on an eventful insight that leads beyond what is (...) merely given in discourse. The analogy “gives more” for thought. Yet, as I argue, what analogy gives for thought is always explicable in conceptual terms: any intuitive understanding is commensurate with a discursive one. I illustrate Ricoeur’s mediation of discursive and intuitive understanding in particular with his conception of metaphor, which vividly depends on overcoming a discursive contradiction by analogical and intuitive means. Before introducing Ricoeur’s conception, I discuss the Kantian background of the intuitive/discursive distinction. In particular, I suggest how Goethe’s attempt to revitalize a notion of intuitive understanding can be compared to Ricoeur’s conception, though Ricoeur improves upon Goethe by grounding intuition in the specific phenomenon of analogy. (shrink)

In this book authors for the first time introduce the notion of super interval matrices using special intervals. The advantage of using super interval matrices is that one can build only one vector space using m × n interval matrices, but in case of super interval matrices we can have several such spaces depending on the partition on the interval matrix.

In this book authors for the first time introduce the notion of supermatrices of refined labels. Authors prove super row matrix of refined labels form a group under addition. However super row matrix of refined labels do not form a group under product; it only forms a semigroup under multiplication. In this book super column matrix of refined labels and m × n matrix of refined labels are introduced and studied.

In this book, for the first time, authors try to introduce the concept of linguistic variables as a continuum of linguistic terms/elements/words in par or similar to a real continuum. For instance, we have the linguistic variable, say the heights of people, then we place the heights in the linguistic continuum [shortest, tallest] unlike the real continuum (–∞, ∞) where both –∞ or +∞ is only a non-included symbols of the real continuum, but in case of the linguistic continuum we (...) generally include the ends or to be more mathematical say it is a closed interval, where shortest denotes the shortest height of a person, maybe the born infant who is very short from usual and the tallest will denote the tallest one usually very tall; however this linguistic continuum [shortest, tallest] in the real continuum will be the closed interval say [1 foot, 8 feet] or [1, 8] the measurement in terms of feet. So, the real interval is a subinterval with which we have associated the real continuum in terms of qualifying unit feet and inches in this case. (shrink)

The new notions of super column FRM model, super row FRM model and mixed super FRM model are introduced in this book. These three models are introduced specially to analyze the biased role of the print media on 27 percent reservation for the Other Backward Classes (OBCs) in educational institutions run by the Indian Central Government.